GULP: Capabilities and prospects

Appia - Gulp - Prode

Appia - Gulp - Prode 20001

In this paper we investigate the relationship between disjunctive logic programming as deened in 9] and a subset of linear logic, namely Andreoli and Pareschi's LO 2]. We analyze the two languages both from a top-down, operational perspective, and from a bottom-up, semantical one. From a proof-theoretical perspective, we show that, modulo a simple mapping between classical and linear connective...

APPIA - GULP - PRODE 20001 Introdu

Gulp! Electronics Down the Hatch

Take a big gulp of pox

Take a big gulp of pox A poxvirus tricks cells into drinking it up, say Jason Mercer and Ari Helenius (Institute of Biochemistry, Zurich). Vaccinia, studied here, is a prototypical poxvirus, whose members also include the human smallpox virus. In studying how vaccinia enters cells, the authors observed that mature virus particles bound to fi lopodia and surfed toward the cell. After arriving at...